Local consistency - PDFSEARCH.IO - Document Search Engine

Local consistency
Results: 221

#	Item
71	Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-28 16:44:23 Mathematics Backtracking DPLL algorithm Bayesian network Tree decomposition Constraint optimization Algorithm Decomposition method Local consistency Constraint programming Declarative programming Graph theory
72	The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:27 Computer programming Local consistency Constraint satisfaction Constraint logic programming Co-NP-complete NP-complete Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Theoretical computer science
73	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
74	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
75	Mathematical Programming SERIES A and B Constraint aggregation for rigorous global optimization --Manuscript Draft-Manuscript Number: MAPR-D-14-00182R2 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2014-12-02 11:46:26 Applied mathematics Lagrange multiplier Quadratic programming Constraint Karush–Kuhn–Tucker conditions Linear programming Local consistency Relaxation Duality Mathematical optimization Mathematical analysis Mathematics
76	EMMANUEL HEBRARD contact email: · website: http://homepages.laas.fr/ehebrard current and past positions 2010–Present Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-03-27 08:56:53 Computing Constraint satisfaction Comet CNES Local consistency Constraint programming Software engineering Computer programming
77	c , , 1–20 () Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Fourier Elimination for Compiling Constraint Hierarchies Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-07-01 13:23:24 Computing Constraint satisfaction Constraint inference Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
78	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
79	CSP- and SAT-based Inference Techniques Applied to Gnomine Bachelor Thesis Faculty of Science, University of Basel Department of Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Artificial intelligence Local consistency Constraint satisfaction Constraint Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming
80	The Tractability of Global Constraints Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , and Toby Walsh Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction problem Constraint satisfaction NP-complete NP Computer science Constraint programming Computing Local consistency

UPDATE